A new result about the decidability of the existential one-step rewriting theoryLIMET, S; RETY, P.Lecture notes in computer science. 1999, pp 118-132, issn 0302-9743, isbn 3-540-66201-4Conference Paper

Basic narrowing revisitedNUTT, W; RETY, P; SMOLKA, G et al.Journal of symbolic computation. 1989, Vol 7, Num 3-4, pp 295-317, issn 0747-7171Article

EDUCATION, CERTIFICATION, HYGIENE, SAFETY. = ENSEIGNEMENT, CERTIFICATION, HYGIENE, SECURITEANDERSON RT; KONKOLY T; RETY P et al.1976; (IN: 8EME CONF. MONDIALE ESSAIS NON DESTRUCT.; CANNES; 1976; PARIS; C.O.F.R.E.N.D.; DA. 1976; PP. (47P.); ABS. FR.; BIBL. DISSEM.; SECTION 6Conference Paper